projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 58f88f9) | patch
flask: move policy headers into hypervisor
authorDaniel De Graaf <dgdegra@tycho.nsa.gov>
Thu, 10 Jan 2013 17:30:47 +0000 (17:30 +0000)
committerDaniel De Graaf <dgdegra@tycho.nsa.gov>
Thu, 10 Jan 2013 17:30:47 +0000 (17:30 +0000)
commitd05b3ddfdc8bb4c51c9764a6afaf7a3cce4a15fd
tree5de7abcce26a2b07ab1ce61e4ea903ac4345ace0tree | snapshot
parent58f88f9eb2f2b16f1870c592c3310593039096e8commit | diff
flask: move policy headers into hypervisor

Rather than keeping around headers that are autogenerated in order to
avoid adding build dependencies from xen/ to files in tools/, move the
relevant parts of the FLASK policy into the hypervisor tree and
generate the headers as part of the hypervisor's build.

Signed-off-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
Committed-by: Keir Fraser <keir@xen.org>
12 files changed:
.gitignore diff | blob | history
.hgignore diff | blob | history
tools/flask/policy/Makefile diff | blob | history
tools/flask/policy/policy/flask/Makefile [deleted file] blob | history
tools/flask/policy/policy/flask/mkaccess_vector.sh diff | blob | history
tools/flask/policy/policy/flask/mkflask.sh diff | blob | history
xen/xsm/flask/Makefile diff | blob | history
xen/xsm/flask/include/av_perm_to_string.h [deleted file] blob | history
xen/xsm/flask/include/av_permissions.h [deleted file] blob | history
xen/xsm/flask/include/class_to_string.h [deleted file] blob | history
xen/xsm/flask/include/flask.h [deleted file] blob | history
xen/xsm/flask/include/initial_sid_to_string.h [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.